Toby S. Cubitt, David Perez-Garcia, Michael M. Wolf; "Undecidability of the Spectral Gap (short version)"